- completely formalized language
- полностью формализованный язык
English-Russian scientific dictionary. 2008.
completely formalized language
Смотреть что такое "completely formalized language" в других словарях:
language, philosophy of — Philosophical study of the nature and use of natural languages and the relations between language, language users, and the world. It encompasses the philosophical study of linguistic meaning (see semantics), the philosophical study of language… … Universalium
language — /lang gwij/, n. 1. a body of words and the systems for their use common to a people who are of the same community or nation, the same geographical area, or the same cultural tradition: the two languages of Belgium; a Bantu language; the French… … Universalium
Catalan language — Catalan, Valencian català, valencià Pronunciation [kətəˈɫa] (EC) [kataˈla] (WC) [valensiˈa] (V) Spoken in … Wikipedia
Macedonian language — This article is about the modern Slavic language. For the extinct Paleo Balkan language, see Ancient Macedonian language. For other uses, see Macedonian (disambiguation). Macedonian Македонски јазик Makedonski jazik Pronunciation … Wikipedia
Norwegian language struggle — The Norwegian language struggle ( målstriden , språkstriden or sprogstriden ) is an ongoing controversy within Norwegian culture and politics related to spoken and written Norwegian. From the 16th to the 19th centuries, Danish was the standard… … Wikipedia
Norwegian language conflict — This article is part of the series on: Norwegian language Variants: Official: Bokmål | Nynorsk Unofficial: Riksmål | Landsmål/Høgnorsk Norwegian language … Wikipedia
APL (programming language) — APL Paradigm(s) array, functional, structured, modular Appeared in 1964 Designed by Kenneth E. Iverson Developer Kenneth E. Iverson … Wikipedia
Eiffel (programming language) — Infobox programming language name = Eiffel paradigm = object oriented year = 1986 designer = Bertrand Meyer developer = Bertrand Meyer Eiffel Software latest release version = 4.2 latest release date = Feb 6, 1998 typing = static typing, strong… … Wikipedia
Chavacano language — Philippine Creole Spanish Chavacano or Chabacano Spoken in Philippines Region … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
